FME 2001. - formal methods for increasing software productivity : international symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
- Författare
- (José Nuno Oliveira, Pamela Zave (eds).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, New York | 628 sidor. ill. |